1. On the Refinement Calculus
پدیدآورنده : edited by Carroll Morgan, Trevor Vickers.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.
2. On the refinement calculus
پدیدآورنده : edited by carroll morgan and trevor vickers
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Calculus
رده :
QA
76
.
6
.
O5
1992
